package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
(	Title = "Designator",
	Description = "Interface with no members")
 @Target({ElementType.TYPE})
public @interface Designator {
	
}
